(x_set_mouse_face_gc): If the last use mouse face

has gone in the meantime, use face MOUSE_FACE_ID.

diff --git a/src/xterm.c b/src/xterm.c
index 0cd68a7f9e3d7ecaaff782ef3623e3d2da8b64dd..1ad1fd4d1f99f31b796141d86fec88db65ecd48c 100644 (file)
--- a/src/xterm.c
+++ b/src/xterm.c
@@ -2661,9 +2661,12 @@ x_set_mouse_face_gc (s)
   int face_id;
   struct face *face;
 
-  /* What face has to be used for the mouse face?  */
+  /* What face has to be used last for the mouse face?  */
   face_id = FRAME_X_DISPLAY_INFO (s->f)->mouse_face_face_id;
   face = FACE_FROM_ID (s->f, face_id);
+  if (face == NULL)
+    face = FACE_FROM_ID (s->f, MOUSE_FACE_ID);
+  
   if (s->first_glyph->type == CHAR_GLYPH)
     face_id = FACE_FOR_CHAR (s->f, face, s->first_glyph->u.ch);
   else